Gödel's T